de révision : Automates et langages

Ces notes de révisions sont destinées aux candidats à l’agrégation de mathématiques qui ont choisi l’option D d’informatique à l’oral. Les notes couvrent (pour l’instant) l’essentiel du programme de l’option en matière d’automates et de langages rationnels, et seront complétées un jour. . . Certaines thématiques largement hors programme sont également abordées : elles sont signalées par le symbole ici  reproduit en marge. Les notes de révision ne se substituent pas à la lecture des ouvrages classiques sur le sujet, mais offrent des renvois à ces ouvrages et les complètent avec des exemples et des applications plus variées. En particulier, on ne trouvera pas en ces pages une seule démonstration complète, mais seulement des justifications rapides, qui sont à proscrire lors d’un développement oral.